منابع مشابه
Towards Trace Metrics via Functor Lifting
We investigate the possibility of deriving metric trace semantics in a coalgebraic framework. First, we generalize a technique for systematically lifting functors from the category Set of sets to the category PMet of pseudometric spaces, by identifying conditions under which also natural transformations, monads and distributive laws can be lifted. By exploiting some recent work on an abstract d...
متن کاملUniversal Exponentiation Algorithm – A First Step Towards Provable SPA - resistance –
Very few countermeasures are known to protect an exponentiation against simple side-channel analyses. Moreover, all of them are heuristic. This paper presents a universal exponentiation algorithm. By tying the exponent to a corresponding addition chain, our algorithm can virtually execute any exponentiation method. Our aim is to transfer the security of the exponentiation method being implement...
متن کاملThe quadratic Fock functor
We construct the quadratic analogue of the boson Fock functor. While in the first order (linear) case all contractions on the 1–particle space can be second quantized, the semigroup of contractions that admit a quadratic second quantization is much smaller due to the nonlinearity. The encouraging fact is that it contains, as proper subgroups (i.e. the contractions), all the gauge transformation...
متن کاملA Geometric Jacquet Functor
In the paper [BB1], Beilinson and Bernstein used the method of localisation to give a new proof and generalisation of Casselman’s subrepresentation theorem. The key point is to interpret n-homology in geometric terms. The object of this note is to go one step further and describe the Jacquet module functor on Harish-Chandra modules via geometry. Let GR be a real reductive linear algebraic group...
متن کاملInterpolation functor and computability
Computability of Banach spaces is discussed. A compatible relation is shown to hold between the complex interpolation spaces of Calder) on (Studia Math. 24 (1964) 113) and the computability structures introduced by Pour-El and Richards (Computability in Analysis and Physics, Springer, Berlin, 1989). Namely, it is veri5ed that Calder) on’s original construction of the complex interpolation funct...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Algebra
سال: 2018
ISSN: 0021-8693
DOI: 10.1016/j.jalgebra.2018.02.030